Skip to content

Conversation

@zml2008
Copy link
Member

@zml2008 zml2008 commented Feb 19, 2025

align ourselves with the general path of the world here

@zml2008 zml2008 added this to the 1.1.0 milestone Feb 19, 2025
@zml2008 zml2008 self-assigned this Feb 19, 2025
@zml2008 zml2008 added the type: enhancement New feature or request label Feb 19, 2025
@zml2008 zml2008 added this pull request to the merge queue Feb 24, 2025
Merged via the queue into trunk with commit abac15b Feb 24, 2025
5 checks passed
@zml2008 zml2008 deleted the chore/jspecify branch February 24, 2025 04:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants